صدق در فلسفه علم پوپر و مفهوم سمانتیکی صدق تارسکی

ناکارآمدی مفهوم تطابقی صدق در فلسفه‌ی علم پوپر

کارل پوپر در نسخه‌ی آلمانی منطق اکتشاف علمی اشاره می‌کند که در منطق علم به نوعی که وی آن‌را مطرح کرده‌است، کاملا ممکن خواهد بود که مفاهیم صدق و کذب به کار گرفته نشوند. اما دیدگاه وی در مورد صدق پس از آشنایی با نظریه‌ی سمانتیکی صدق تارسکی در 1935 به صورتی بنیادی تغییر کرد به گونه‌ای که گویی نظریه‌ی صدق تارسکی، و تفسیر خاصی که از آن ارائه می‌کرد، در توافق کامل با دیدگاه‌های او در حوزه‌های مختلف ف...

فضای مجازی رخنه‌ای در تئوری صدق تارسکی

بررسی صدق جملات فضای مجازی، دارای اهمیت ویژه‌ای است. برای بسیاری، فضای مجازی یکی از مهم‌ترین ابزارهای حصول اطلاعات است. این امر به علت گستردگی دامنة اطلاعات و در دسترس بودن آن است. با همة مزایا، اگر شیوه و روشی برای سنجش صحت اطلاعات در فضای مجازی نباشد، این اطلاعات کارایی لازم را نخواهند داشت و قابل اطمینان نخواهند بود. با توجه به ویژگی در دسترس بودن و سهل ‌الوصول...

مفهوم صدق نزد ویتگنشتاین

این مقاله به بررسی تلقی ویتگنشتاین از مفهوم صدق می پردازد و می­کوشد نشان دهد که برخلاف تفسیر رایج، ویتگنشتاین متقدم و متأخر دارای برداشتی یکسان از مفهوم صدق است. بنا بر آنچه خواهد آمد ویتگنشتاین در سراسر کار فلسفی خویش، «صدق»  را مفهومی زائد می­دانست و به همین دلیل از به دست دادن نظریه­ای در بارۀ صدق  خودداری کرد. در پایان نشان خواهیم داد که لازمۀ منطقی امتناع از صورتبندی نظری در باره «صدق»  در...

مباحثی در تعریف ناپذیری صدق تارسکی

قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...

مفهوم صدق از دیدگاه ویتگنشتاین

پرسش از صدق، به عنوان پرسش اصلی، راهنمایی برای ورود به اندیشه‌های ویتگنشتاین است.او می‌کوشد تا نشان دهد که زبان شناسی، معرفت شناسی، و هستی شناسی با یکدیگر سازگارند. اگرچه از دیدگاه او نمی‌توان به ﭘرسشی وجود شناختی پاسخیمعرفت شناختی داد. و یا به عکس، گزاره‌ای وجود شناختی نمی‌تواند پاسخی برای یک پرسش معرفت شناختی باشد، اما، نباید نتایج حاصل از حوزه‌های گوناگون با یکدیگر متناقض باشند. ویتگنشتاین ...

مفهوم معنی‌شناختی صدق و مبانی معنی شناختی